From: Florian Müllner <fmuellner@gnome.org>
Date: Thu, 15 Jan 2015 23:13:58 +0000 (+0100)
Subject: windowManager: Allow moving a window above the top workspace
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~1896
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=ce35d523a2;p=gnome-shell.git

windowManager: Allow moving a window above the top workspace

When using dynamic workspaces, a new workspace will be appended
when moving a window down to the last (empty) workspace. It makes
sense to extend the behavior in the opposite direction, and prepend
a new workspace when moving a window up from the first workspace.

https://bugzilla.gnome.org/show_bug.cgi?id=665764
---

diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 88acd4592..2f2a0de38 100644
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -1527,6 +1527,11 @@ const WindowManager = new Lang.Class({
             direction = Meta.MotionDirection.DOWN;
             newWs = screen.get_workspace_by_index(screen.n_workspaces - 1);
         } else if (isNaN(target)) {
+            // Prepend a new workspace dynamically
+            if (screen.get_active_workspace_index() == 0 &&
+                action == 'move' && target == 'up')
+                this.insertWorkspace(0);
+
             direction = Meta.MotionDirection[target.toUpperCase()];
             newWs = screen.get_active_workspace().get_neighbor(direction);
         } else if (target > 0) {